\begin{footnotesize}
\begin{minted}{text}
(a<10)&&(b%2==0)
(10<a)&&(a<20)
((a<10)&&(b%2==0))||(!((10<a)&&(a<20)))
\end{minted}
\end{footnotesize}
